甲和乙要进行通信，甲对发送的消息附加了数字签名，乙收到该消息后利用( ) 验证该消息的真实性。